A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required ...
Continue reading
Advanced Software Engineering: Expanding the Frontiers of Software Technology
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Advances in Production Management Systems. Towards Smart and Digital Manufacturing
Part II: the Operator 4.0: new physical and cognitive evolutionary paths; digital transformation approaches in production ...
Continue reading
Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
Continue reading
Agent-Oriented Software Engineering V
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
Continue reading
Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Continue reading
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate ...
Continue readingAnti-fragile ICT Systems
This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions ...
Continue reading
Anti-fragile ICT Systems
Introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their ...
Continue reading
Applications and Usability of Interactive TV : 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers
This book constitutes the refereed proceedings of the 8th Iberoamerican Conference on Applications and Usability of Interactive ...
Continue reading
Applied Cryptography and Network Security Workshops : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings
This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied ...
Continue reading
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Continue reading
Architecting Dependable Systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Continue reading
Architecture of Computing Systems
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
Continue reading
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Continue reading
Categories for Software Engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Continue reading
Component Deployment
his volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment ...
Continue reading
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Continue reading
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
